<html>
<head><meta charset="utf-8"><title>meeting 2019.04.30 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html">meeting 2019.04.30</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="164565798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164565798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164565798">(Apr 30 2019 at 18:59)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span></p>



<a name="164565828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164565828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164565828">(Apr 30 2019 at 18:59)</a>:</h4>
<p>So I realized that I was supposed to write more mentoring instructions for <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> -- I know I started this, but I don't think I finished it</p>



<a name="164565866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164565866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164565866">(Apr 30 2019 at 19:00)</a>:</h4>
<p>Looking at <a href="https://github.com/rust-lang-nursery/polonius/issues/104" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/104">polonius#104</a> it appears I did not :(</p>



<a name="164566093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566093">(Apr 30 2019 at 19:02)</a>:</h4>
<p>would having a meeting every two weeks instead of weekly possibly be helpful for your schedule ?</p>



<a name="164566118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566118">(Apr 30 2019 at 19:02)</a>:</h4>
<p>(or even less frequently?)</p>



<a name="164566189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566189">(Apr 30 2019 at 19:03)</a>:</h4>
<p>Well, I'm more consumed about keeping people's plates full :)</p>



<a name="164566238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566238">(Apr 30 2019 at 19:04)</a>:</h4>
<p>But maybe :)</p>



<a name="164566250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566250">(Apr 30 2019 at 19:04)</a>:</h4>
<p>One question is what is needed to best "unblock" people --</p>



<a name="164566256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566256">(Apr 30 2019 at 19:04)</a>:</h4>
<p>to check in, I've continued testing the "use the results of LocInsensitive in DatafrogOpt via the Hybrid analysis" to see the impacts on correctness and performance</p>



<a name="164566263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566263">(Apr 30 2019 at 19:04)</a>:</h4>
<p>I'm writing some quick notes about liveness, for example, but I suspect it would make sense for <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> and I (and others, of course!) to find some time to sync up and discuss as well</p>



<a name="164566296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566296">(Apr 30 2019 at 19:05)</a>:</h4>
<p>and barely started looking at the rustc test suite failures in more detail to try and categorize them</p>



<a name="164566384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566384">(Apr 30 2019 at 19:06)</a>:</h4>
<p>OK</p>



<a name="164566417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566417">(Apr 30 2019 at 19:07)</a>:</h4>
<p>on my side, still digging through rustc and some other things to get started with the profiling stuff</p>



<a name="164566433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566433">(Apr 30 2019 at 19:07)</a>:</h4>
<p>cool</p>



<a name="164566445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566445">(Apr 30 2019 at 19:07)</a>:</h4>
<p>are you making progress there? anything that would be helpful? :)</p>



<a name="164566457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566457">(Apr 30 2019 at 19:07)</a>:</h4>
<p>are you planning to use the self-profile infrastructure <span class="user-mention" data-user-id="218716">@lokalmatador</span> ?</p>



<a name="164566458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566458">(Apr 30 2019 at 19:07)</a>:</h4>
<p>(I was also trying to have an idea of how impactful our unoptimized llvm ir was but that's not polonius related ;)</p>



<a name="164566563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566563">(Apr 30 2019 at 19:09)</a>:</h4>
<blockquote>
<p>are you making progress there? anything that would be helpful? :)</p>
</blockquote>
<p>not at that stage I guess, pretty basic stuff I'm doing, but later on I for sure :)</p>



<a name="164566565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566565">(Apr 30 2019 at 19:09)</a>:</h4>
<p>One thing I was thinking about</p>



<a name="164566581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566581">(Apr 30 2019 at 19:09)</a>:</h4>
<p>As the liveness work proceds</p>



<a name="164566587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566587">(Apr 30 2019 at 19:09)</a>:</h4>
<p>We're going to want to be able to do correctness testing</p>



<a name="164566596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566596">(Apr 30 2019 at 19:09)</a>:</h4>
<p>I think you mentioned <span class="user-mention" data-user-id="116113">@lqd</span> that running with compare-mode polonius got a lot of mismatches?</p>



<a name="164566603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566603">(Apr 30 2019 at 19:09)</a>:</h4>
<p>yes indeed</p>



<a name="164566605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566605">(Apr 30 2019 at 19:09)</a>:</h4>
<blockquote>
<p>(I was also trying to have an idea of how impactful our unoptimized llvm ir was but that's not polonius related ;)</p>
</blockquote>
<p>yup, that's also one of the things I'm going through, since the docs have recently been updated</p>



<a name="164566606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566606">(Apr 30 2019 at 19:09)</a>:</h4>
<p>I think we should consider a work item of trying to "record" the expected results when polonius is enabled</p>



<a name="164566610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566610">(Apr 30 2019 at 19:09)</a>:</h4>
<p>i.e., so that we can get clean test runs</p>



<a name="164566616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566616">(Apr 30 2019 at 19:09)</a>:</h4>
<p>or at least decide on a reasonable test suite</p>



<a name="164566677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566677">(Apr 30 2019 at 19:10)</a>:</h4>
<p>(compare-mode has a way of committing new references, right?)</p>



<a name="164566688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566688">(Apr 30 2019 at 19:10)</a>:</h4>
<p>I think so yes</p>



<a name="164566701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566701">(Apr 30 2019 at 19:10)</a>:</h4>
<p>I was wondering about this as part of the categorizing work maybe</p>



<a name="164566759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566759">(Apr 30 2019 at 19:11)</a>:</h4>
<p>I think compare mode polonius also might behave differently wrt to "// ignore compare mode nll" so some of those failures might be related</p>



<a name="164566816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566816">(Apr 30 2019 at 19:12)</a>:</h4>
<blockquote>
<p>I think compare mode polonius also might behave differently wrt to "// ignore compare mode nll" so some of those failures might be related</p>
</blockquote>
<p>I don't quite understand that</p>



<a name="164566823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566823">(Apr 30 2019 at 19:12)</a>:</h4>
<blockquote>
<p>I was wondering about this as part of the categorizing work maybe</p>
</blockquote>
<p>what categorizing work?</p>



<a name="164566887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566887">(Apr 30 2019 at 19:13)</a>:</h4>
<p>(I just wrote up some mentoring instructions for liveness)</p>



<a name="164566889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566889">(Apr 30 2019 at 19:13)</a>:</h4>
<p>1) the tests have a way to mention they should be ignored for the nll compare mode, but the polonius compare mode doesn't ignore those by default, which is understandable</p>



<a name="164566906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566906">(Apr 30 2019 at 19:13)</a>:</h4>
<blockquote>
<blockquote>
<p>(I was also trying to have an idea of how impactful our unoptimized llvm ir was but that's not polonius related ;)</p>
</blockquote>
<p>yup, that's also one of the things I'm going through, since the docs have recently been updated</p>
</blockquote>
<p>ups, wrong quote, sorry...</p>



<a name="164566911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566911">(Apr 30 2019 at 19:13)</a>:</h4>
<p>right, so we could add similar annotations for polonius</p>



<a name="164566914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566914">(Apr 30 2019 at 19:13)</a>:</h4>
<p>right</p>



<a name="164566921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566921">(Apr 30 2019 at 19:13)</a>:</h4>
<p>that makes sense</p>



<a name="164566990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164566990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164566990">(Apr 30 2019 at 19:14)</a>:</h4>
<p>come to think of it</p>



<a name="164567000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567000">(Apr 30 2019 at 19:14)</a>:</h4>
<blockquote>
<blockquote>
<blockquote>
<p>(I was also trying to have an idea of how impactful our unoptimized llvm ir was but that's not polonius related ;)</p>
</blockquote>
<p>yup, that's also one of the things I'm going through, since the docs have recently been updated</p>
</blockquote>
<p>ups, wrong quote, sorry...</p>
</blockquote>
<p>was referring to the self-profiling infrastructure...</p>



<a name="164567006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567006">(Apr 30 2019 at 19:14)</a>:</h4>
<p>well, I think we should run the results and inspect them, and either add alternate ref files or ignore annot as appropriate</p>



<a name="164567009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567009">(Apr 30 2019 at 19:14)</a>:</h4>
<blockquote>
<p>was referring to the self-profiling infrastructure...</p>
</blockquote>
<p>I figured :)</p>



<a name="164567064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567064">(Apr 30 2019 at 19:15)</a>:</h4>
<p>"categorizing work" is just me starting looking at tests failures and seeing whethera failure  is "expected" (eg illegal subset relation) and should maybe have its output <code>--bless</code>ed or if it's invalid (eg maybe those "ignore compare mode nll" which should also be ignored in the polonius compare mode)</p>



<a name="164567073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567073">(Apr 30 2019 at 19:15)</a>:</h4>
<p>I see</p>



<a name="164567084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567084">(Apr 30 2019 at 19:15)</a>:</h4>
<p><em>Personally</em>, I lean towards blessing whenever possible, even if the output isn't what we ultimately want</p>



<a name="164567137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567137">(Apr 30 2019 at 19:16)</a>:</h4>
<p>i.e., I see the "stderr" files as tracking the <em>known</em> output of the compiler, not necessarily the <em>correct</em> output :)</p>



<a name="164567141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567141">(Apr 30 2019 at 19:16)</a>:</h4>
<blockquote>
<p>well, I think we should run the results and inspect them, and either add alternate ref files or ignore annot as appropriate</p>
</blockquote>
<p>pretty much this :)</p>



<a name="164567143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567143">(Apr 30 2019 at 19:16)</a>:</h4>
<p>it's useful to know when that changes</p>



<a name="164567162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567162">(Apr 30 2019 at 19:16)</a>:</h4>
<p>well, I think that'd be very useful work to do</p>



<a name="164567170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567170">(Apr 30 2019 at 19:16)</a>:</h4>
<p>it will pay off as we pursue moving more things into polonius</p>



<a name="164567178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567178">(Apr 30 2019 at 19:16)</a>:</h4>
<p>because there is basically no way to test for correctness apart from running rustc tests</p>



<a name="164567203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567203">(Apr 30 2019 at 19:17)</a>:</h4>
<p>I will continue to work on this in the following weeks</p>



<a name="164567217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567217">(Apr 30 2019 at 19:17)</a>:</h4>
<p>seems like <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> is not here today :(</p>



<a name="164567226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567226">(Apr 30 2019 at 19:17)</a>:</h4>
<p>tomorrow is May 1, so I guess all of you Europeans will be on holiday</p>



<a name="164567257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567257">(Apr 30 2019 at 19:17)</a>:</h4>
<p>yup</p>



<a name="164567309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567309">(Apr 30 2019 at 19:18)</a>:</h4>
<p>/me searches for an appropriate emoji, fails to find one</p>



<a name="164567335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567335">(Apr 30 2019 at 19:18)</a>:</h4>
<p>I guess <span aria-label="fist" class="emoji emoji-270a" role="img" title="fist">:fist:</span> will do</p>



<a name="164567338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567338">(Apr 30 2019 at 19:18)</a>:</h4>
<p>well not holidays, but at least day off - results in two mondays in one week somehow...</p>



<a name="164567372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567372">(Apr 30 2019 at 19:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> regarding the overall plan, I am feeling pretty good about this ordering:</p>
<ul>
<li>liveness</li>
<li>moves</li>
<li>regions and region logic</li>
</ul>



<a name="164567385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567385">(Apr 30 2019 at 19:19)</a>:</h4>
<p>but it woudl probably behoove me to try and "get ahead" of the plans</p>



<a name="164567386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567386">(Apr 30 2019 at 19:19)</a>:</h4>
<p>do you think you'd have time to read <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/illegal.20subset.20relations.20polonius.2399" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/illegal.20subset.20relations.20polonius.2399">the illegal subset relations questions</a> "some time soon" ?</p>



<a name="164567388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567388">(Apr 30 2019 at 19:19)</a>:</h4>
<p>and write out thoughts about moves etc</p>



<a name="164567396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567396">(Apr 30 2019 at 19:19)</a>:</h4>
<p>oh, right .. urg :) yes!</p>



<a name="164567421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567421">(Apr 30 2019 at 19:19)</a>:</h4>
<p>the ordering looks good</p>



<a name="164567491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567491">(Apr 30 2019 at 19:20)</a>:</h4>
<p>re: the region stuff, I expect to be trying to write out thoughts on this from the chalk perpsective</p>



<a name="164567505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567505">(Apr 30 2019 at 19:20)</a>:</h4>
<p>ah yes</p>



<a name="164567506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567506">(Apr 30 2019 at 19:20)</a>:</h4>
<p>I think I mentioned that the TL;DR is that I want chalk to basically translate the complex constraints into the simpler ones</p>



<a name="164567525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567525">(Apr 30 2019 at 19:20)</a>:</h4>
<p>right, and that work seems to be required sooni-ish</p>



<a name="164567549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567549">(Apr 30 2019 at 19:21)</a>:</h4>
<p>so I am hopeful that <em>polonius</em> will be able to make do with the simple concepts I introducd in the first blog post, which probably means that your PR is roughly right, modulo I guess that topic of error handling and maybe some details</p>



<a name="164567586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567586">(Apr 30 2019 at 19:21)</a>:</h4>
<p>(or at least a viable plan, for chalk/rustc integration)</p>



<a name="164567588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567588">(Apr 30 2019 at 19:21)</a>:</h4>
<p>one thing I also remember is that we never got very far in the "polonius explainer" videos</p>



<a name="164567677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567677">(Apr 30 2019 at 19:22)</a>:</h4>
<p>(I'd still like to try and dig into why polonius's rules are the way they are, and some of the complex tests.)</p>



<a name="164567691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567691">(Apr 30 2019 at 19:22)</a>:</h4>
<p>but I guess we can put that off for now perhaps</p>



<a name="164567710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567710">(Apr 30 2019 at 19:22)</a>:</h4>
<p>yeah I was wondering</p>



<a name="164567726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567726">(Apr 30 2019 at 19:23)</a>:</h4>
<p>it's super helpful and interesting but you might not have a lot of time</p>



<a name="164567735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567735">(Apr 30 2019 at 19:23)</a>:</h4>
<p>ok, so, in short term I will work with albin-s on the liveness primarily; next priority woudl be talking about how lark did moves, and trying to decide if that will work for rustc :)</p>



<a name="164567749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567749">(Apr 30 2019 at 19:23)</a>:</h4>
<blockquote>
<p>it's super helpful and interesting but you might not have a lot of time</p>
</blockquote>
<p>well it's also for me :) I'd like to remember... :P</p>



<a name="164567750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567750">(Apr 30 2019 at 19:23)</a>:</h4>
<p>sounds good</p>



<a name="164567773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567773">(Apr 30 2019 at 19:23)</a>:</h4>
<p>but yeah I dont' want to overcommit ( <span aria-label="laughter tears" class="emoji emoji-1f602" role="img" title="laughter tears">:laughter_tears:</span>)</p>



<a name="164567798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567798">(Apr 30 2019 at 19:23)</a>:</h4>
<p>(more than I already have, that is ;)</p>



<a name="164567799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567799">(Apr 30 2019 at 19:23)</a>:</h4>
<p>we tend to need to re-remember why the rules are the way they are :)</p>



<a name="164567914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567914">(Apr 30 2019 at 19:25)</a>:</h4>
<p>all right y'all, later? <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="164567939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567939">(Apr 30 2019 at 19:25)</a>:</h4>
<p>the plan sounds good, keep on working on liveness with Albin, check on regions thingies as part of wg-traits and rustc/chalk integration, and look into the moves plan (and focusing on correctness with the rustc test suite)</p>



<a name="164567969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164567969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164567969">(Apr 30 2019 at 19:25)</a>:</h4>
<p>cheers everyone :) <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="164568031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164568031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164568031">(Apr 30 2019 at 19:26)</a>:</h4>
<p>bye!</p>



<a name="164569908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164569908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164569908">(Apr 30 2019 at 19:47)</a>:</h4>
<p>Oh no, I missed the meeting! I'm so sorry!</p>



<a name="164570720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164570720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164570720">(Apr 30 2019 at 19:53)</a>:</h4>
<blockquote>
<p>tomorrow is May 1, so I guess all of you Europeans will be on holiday</p>
</blockquote>
<p>It's also worth mentioning that today is Walpurgis night in Sweden, and it's a Big Thing in my hometown. Which means that everyone has been drunk since Friday, there are probably people out burning furniture in the parks, and the city hospital has literally put out disaster tents to deal with all the alcohol poisoning and stitching people together from falling over, cutting themselves on broken glass, etc. This, and finishing up a PhD application is why I forgot about the meeting today</p>



<a name="164571075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.30/near/164571075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E30.html#164571075">(Apr 30 2019 at 19:55)</a>:</h4>
<blockquote>
<p>it's super helpful and interesting but you might not have a lot of time</p>
</blockquote>
<p>I think this probably needs to or at least should happen for my thesis at some point, so I can be a driver in getting this work done! :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>